// HelloWorld.js

document.write( "Hello World.");

